proof sum of all positive integers